A Framework for Network Modeling in Prolog
نویسنده
چکیده
A new formalism for building network models in Prolog is proposed. It is based on a new semantic i n terpretation of the Prolog variables and clauses, which are used to represent the network l inks and nodes respectively. The problem of attribut ed gra ph mod el of polyhedral objects is used as an application area, where the proposed methods are examined.
منابع مشابه
Resilience-Based Framework for Distributed Generation Planning in Distribution Networks
Events with low probability and high impact, which annually cause high damages, seriously threaten the health of the distribution networks. Hence, more attention to the issue of enhancing network resilience and continuity of power supply, feels more than ever, all over the world. In modern distribution networks, because of the increasing presence of distributed generation resources, an alternat...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملEvaluation of the Efficiency of the Adaptive Neuro Fuzzy Inference System (ANFIS) in the Modeling of the Ionosphere Total Electron Content Time Series Case Study: Tehran Permanent GPS Station
Global positioning system (GPS) measurements provide accurate and continuous 3-dimensional position, velocity and time data anywhere on or above the surface of the earth, anytime, and in all weather conditions. However, the predominant ranging error source for GPS signals is an ionospheric error. The ionosphere is the region of the atmosphere from about 60 km to more than 1500 km above the eart...
متن کاملiML : A Logic-Based Framework for Constructing Graphical User Interface on Mobile Agents
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load, overcome network latency, and handle network disconnections. Few mobile agent systems support Prolog language, and no system supports GUI programming on Prolog language. Prolog’s first order logic representation has ...
متن کاملAn interpreter for framework-specific modeling languages
Framework-specific modeling languages (FSMLs) are specifications of framework concepts and their intended usages. Interpreting an FSML over a set of applications enables a user to detect framework concepts in source code through reverse-engineering. We describe our FSML interpreter written using Prolog. The interpreter itself consists of two main components: a parser that is responsible for rea...
متن کامل